[next] [prev] [prev-tail] [tail] [up]

2.2 Detailed conclusion table per each integral for all CAS systems

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA and IntegrateAlgebraic to I.A.

Problem 1

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

94 94 94 97 96 98 107 98 88 0

N.S.

1 1.00 1.00 1.03 1.02 1.04 1.14 1.04 0.94 0.00

time (sec)

N/A 0.064 0.021 0.002 1.355 0.486 0.085 0.567 4.775 0.000

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

70 70 70 73 70 73 76 73 65 0

N.S.

1 1.00 1.00 1.04 1.00 1.04 1.09 1.04 0.93 0.00

time (sec)

N/A 0.042 0.015 0.002 1.372 0.803 0.082 0.565 4.753 0.000

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

50 50 50 49 48 50 53 50 48 0

N.S.

1 1.00 1.00 0.98 0.96 1.00 1.06 1.00 0.96 0.00

time (sec)

N/A 0.027 0.011 0.001 1.352 0.403 0.074 0.570 0.047 0.000

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

28 28 28 25 24 26 26 26 25 0

N.S.

1 1.00 1.00 0.89 0.86 0.93 0.93 0.93 0.89 0.00

time (sec)

N/A 0.013 0.005 0.001 1.349 0.767 0.065 0.561 0.036 0.000

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

40 40 40 45 34 99 82 34 31 0

N.S.

1 1.00 1.00 1.12 0.85 2.48 2.05 0.85 0.78 0.00

time (sec)

N/A 0.020 0.023 0.007 2.998 0.799 0.280 0.571 0.060 0.000

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

63 63 63 68 57 182 112 57 51 0

N.S.

1 1.00 1.00 1.08 0.90 2.89 1.78 0.90 0.81 0.00

time (sec)

N/A 0.020 0.047 0.008 3.115 0.822 0.392 0.583 5.006 0.000

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

92 92 82 90 92 300 150 78 82 0

N.S.

1 1.00 0.89 0.98 1.00 3.26 1.63 0.85 0.89 0.00

time (sec)

N/A 0.031 0.059 0.010 2.963 0.819 0.541 0.587 5.061 0.001

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

122 122 122 125 124 131 136 131 116 0

N.S.

1 1.00 1.00 1.02 1.02 1.07 1.11 1.07 0.95 0.00

time (sec)

N/A 0.074 0.023 0.002 1.395 0.742 0.091 0.564 4.945 0.000

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

82 82 82 87 82 91 97 91 75 0

N.S.

1 1.00 1.00 1.06 1.00 1.11 1.18 1.11 0.91 0.00

time (sec)

N/A 0.046 0.016 0.000 1.327 0.657 0.081 0.572 0.047 0.000

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

50 50 50 49 48 50 53 50 48 0

N.S.

1 1.00 1.00 0.98 0.96 1.00 1.06 1.00 0.96 0.00

time (sec)

N/A 0.028 0.007 0.000 1.320 0.476 0.073 0.569 0.046 0.000

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

63 63 59 95 68 179 172 72 90 0

N.S.

1 1.00 0.94 1.51 1.08 2.84 2.73 1.14 1.43 0.00

time (sec)

N/A 0.043 0.050 0.003 2.886 0.867 0.420 0.585 0.088 0.000

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

82 82 89 129 96 302 236 95 124 0

N.S.

1 1.00 1.09 1.57 1.17 3.68 2.88 1.16 1.51 0.00

time (sec)

N/A 0.099 0.060 0.009 2.840 0.870 0.698 0.570 5.021 0.001

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

116 116 121 147 138 449 223 126 130 0

N.S.

1 1.00 1.04 1.27 1.19 3.87 1.92 1.09 1.12 0.00

time (sec)

N/A 0.072 0.097 0.009 3.084 0.753 0.984 0.585 5.030 0.001

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

154 154 161 177 167 187 189 187 152 0

N.S.

1 1.00 1.05 1.15 1.08 1.21 1.23 1.21 0.99 0.00

time (sec)

N/A 0.103 0.030 0.003 1.378 0.663 0.100 0.567 4.905 0.000

Problem 15

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

122 122 122 125 124 131 136 131 116 0

N.S.

1 1.00 1.00 1.02 1.02 1.07 1.11 1.07 0.95 0.00

time (sec)

N/A 0.070 0.022 0.002 1.362 0.738 0.091 0.591 4.875 0.000

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

70 70 70 73 70 73 76 73 65 0

N.S.

1 1.00 1.00 1.04 1.00 1.04 1.09 1.04 0.93 0.00

time (sec)

N/A 0.044 0.012 0.001 1.294 0.490 0.078 0.565 0.034 0.000

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

98 98 93 161 122 290 238 130 145 0

N.S.

1 1.00 0.95 1.64 1.24 2.96 2.43 1.33 1.48 0.00

time (sec)

N/A 0.064 0.061 0.004 3.025 0.567 0.573 0.577 4.870 0.000

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A B B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

107 107 107 205 147 444 314 152 181 0

N.S.

1 1.00 1.00 1.92 1.37 4.15 2.93 1.42 1.69 0.00

time (sec)

N/A 0.096 0.059 0.010 2.991 0.819 1.054 0.581 0.100 0.001

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A B B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

130 130 141 266 187 618 422 180 240 0

N.S.

1 1.00 1.08 2.05 1.44 4.75 3.25 1.38 1.85 0.00

time (sec)

N/A 0.165 0.081 0.011 2.979 0.789 1.813 0.587 4.956 0.001

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

142 142 136 246 187 428 326 198 216 0

N.S.

1 1.00 0.96 1.73 1.32 3.01 2.30 1.39 1.52 0.00

time (sec)

N/A 0.093 0.091 0.006 3.033 0.633 0.757 0.579 4.861 0.000

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

98 98 92 161 122 292 238 129 146 0

N.S.

1 1.00 0.94 1.64 1.24 2.98 2.43 1.32 1.49 0.00

time (sec)

N/A 0.059 0.067 0.004 2.911 0.804 0.591 0.576 0.076 0.000

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

63 63 59 95 69 181 172 72 90 0

N.S.

1 1.00 0.94 1.51 1.10 2.87 2.73 1.14 1.43 0.00

time (sec)

N/A 0.041 0.051 0.004 2.934 0.913 0.435 0.568 4.902 0.000

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

39 39 40 45 33 98 82 33 32 0

N.S.

1 1.00 1.03 1.15 0.85 2.51 2.10 0.85 0.82 0.00

time (sec)

N/A 0.015 0.026 0.005 2.991 1.053 0.276 0.571 0.055 0.000

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

70 70 61 55 54 292 712 54 135 0

N.S.

1 1.00 0.87 0.79 0.77 4.17 10.17 0.77 1.93 0.00

time (sec)

N/A 0.027 0.045 0.008 2.985 0.923 2.798 0.585 0.320 0.001

Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

109 109 95 144 133 711 0 122 3637 0

N.S.

1 1.00 0.87 1.32 1.22 6.52 0.00 1.12 33.37 0.00

time (sec)

N/A 0.084 0.171 0.011 3.045 1.036 0.000 0.569 5.688 0.001

Problem 26

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B B B F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

160 160 158 310 277 1585 0 217 6033 0

N.S.

1 1.00 0.99 1.94 1.73 9.91 0.00 1.36 37.71 0.00

time (sec)

N/A 0.192 0.238 0.013 3.075 2.417 0.000 0.578 6.869 0.001

Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A B B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

192 192 192 402 294 810 502 306 386 0

N.S.

1 1.00 1.00 2.09 1.53 4.22 2.61 1.59 2.01 0.00

time (sec)

N/A 0.163 0.098 0.012 3.026 0.680 1.910 0.579 5.024 0.001

Problem 28

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A B B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

142 142 142 296 213 612 403 220 261 0

N.S.

1 1.00 1.00 2.08 1.50 4.31 2.84 1.55 1.84 0.00

time (sec)

N/A 0.120 0.090 0.012 2.997 0.859 1.475 0.576 5.054 0.001

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A B B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

106 106 106 205 147 442 314 152 182 0

N.S.

1 1.00 1.00 1.93 1.39 4.17 2.96 1.43 1.72 0.00

time (sec)

N/A 0.093 0.062 0.010 2.990 0.848 1.075 0.568 0.102 0.001

Problem 30

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

82 82 88 129 95 297 236 94 124 0

N.S.

1 1.00 1.07 1.57 1.16 3.62 2.88 1.15 1.51 0.00

time (sec)

N/A 0.104 0.063 0.009 2.839 0.954 0.723 0.584 5.062 0.001

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

63 63 63 68 57 181 112 57 51 0

N.S.

1 1.00 1.00 1.08 0.90 2.87 1.78 0.90 0.81 0.00

time (sec)

N/A 0.021 0.047 0.009 3.114 0.582 0.399 0.572 5.042 0.001

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

108 108 109 144 132 699 0 121 3649 0

N.S.

1 1.00 1.01 1.33 1.22 6.47 0.00 1.12 33.79 0.00

time (sec)

N/A 0.081 0.146 0.010 2.915 1.119 0.000 0.576 5.766 0.001

Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A B B F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

167 167 136 238 294 1681 0 232 6183 0

N.S.

1 1.00 0.81 1.43 1.76 10.07 0.00 1.39 37.02 0.00

time (sec)

N/A 0.201 0.319 0.015 3.140 2.414 0.000 0.583 6.875 0.001

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A B B F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

230 230 197 403 529 3239 0 332 8649 0

N.S.

1 1.00 0.86 1.75 2.30 14.08 0.00 1.44 37.60 0.00

time (sec)

N/A 0.309 0.419 0.017 3.409 8.316 0.000 0.582 7.793 0.001

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A B B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

196 196 196 484 334 1044 615 340 409 0

N.S.

1 1.00 1.00 2.47 1.70 5.33 3.14 1.73 2.09 0.00

time (sec)

N/A 0.227 0.126 0.015 3.037 0.919 4.406 0.580 5.023 0.001

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A B B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

160 160 160 367 253 817 515 254 318 0

N.S.

1 1.00 1.00 2.29 1.58 5.11 3.22 1.59 1.99 0.00

time (sec)

N/A 0.197 0.097 0.013 3.073 0.867 2.811 0.583 0.135 0.001

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A B B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

130 130 139 266 185 606 422 178 240 0

N.S.

1 1.00 1.07 2.05 1.42 4.66 3.25 1.37 1.85 0.00

time (sec)

N/A 0.166 0.084 0.011 2.938 0.642 1.890 0.571 5.052 0.001

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

116 116 124 147 138 449 223 126 130 0

N.S.

1 1.00 1.07 1.27 1.19 3.87 1.92 1.09 1.12 0.00

time (sec)

N/A 0.077 0.096 0.010 3.010 0.811 1.049 0.569 5.023 0.001

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

92 92 84 89 92 301 150 78 81 0

N.S.

1 1.00 0.91 0.97 1.00 3.27 1.63 0.85 0.88 0.00

time (sec)

N/A 0.033 0.064 0.009 3.002 0.793 0.585 0.576 5.016 0.001

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A B F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

161 161 158 309 278 1587 0 218 6033 0

N.S.

1 1.00 0.98 1.92 1.73 9.86 0.00 1.35 37.47 0.00

time (sec)

N/A 0.197 0.281 0.012 3.161 2.484 0.000 0.578 6.892 0.001

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A B B F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

236 236 197 403 530 3251 0 333 8635 0

N.S.

1 1.00 0.83 1.71 2.25 13.78 0.00 1.41 36.59 0.00

time (sec)

N/A 0.311 0.418 0.014 3.177 8.542 0.000 0.612 7.855 0.001

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A B B F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

315 315 233 568 820 5070 0 574 11150 0

N.S.

1 1.00 0.74 1.80 2.60 16.10 0.00 1.82 35.40 0.00

time (sec)

N/A 0.451 0.928 0.018 3.395 32.351 0.000 0.620 8.555 0.001

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

34 34 24 23 33 33 31 20 31 0

N.S.

1 1.00 0.71 0.68 0.97 0.97 0.91 0.59 0.91 0.00

time (sec)

N/A 0.010 0.008 0.007 1.323 1.040 0.132 0.578 4.995 0.000

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

47 47 41 33 48 67 46 54 47 0

N.S.

1 1.00 0.87 0.70 1.02 1.43 0.98 1.15 1.00 0.00

time (sec)

N/A 0.016 0.013 0.007 2.994 1.019 0.172 0.580 0.042 0.000

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A B A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

231 231 181 310 281 398 484 201 -1 202

N.S.

1 1.00 0.78 1.34 1.22 1.72 2.10 0.87 -0.00 0.87

time (sec)

N/A 0.179 5.114 0.016 1.395 0.848 20.381 0.642 0.000 0.295

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C A A A B A F A

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

149 149 160 190 168 264 291 129 -1 132

N.S.

1 1.00 1.07 1.28 1.13 1.77 1.95 0.87 -0.01 0.89

time (sec)

N/A 0.088 2.673 0.010 1.347 0.976 11.393 0.607 0.000 0.189

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

87 87 85 96 81 158 144 70 -1 77

N.S.

1 1.00 0.98 1.10 0.93 1.82 1.66 0.80 -0.01 0.89

time (sec)

N/A 0.028 0.157 0.005 1.350 1.156 5.681 0.600 0.000 0.099

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

46 46 49 36 28 94 41 37 35 48

N.S.

1 1.00 1.07 0.78 0.61 2.04 0.89 0.80 0.76 1.04

time (sec)

N/A 0.010 0.021 0.000 1.364 0.753 1.855 0.576 4.712 0.001

Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F A F F F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

82 82 84 932 0 596 0 0 -1 138

N.S.

1 1.00 1.02 11.37 0.00 7.27 0.00 0.00 -0.01 1.68

time (sec)

N/A 0.054 0.044 0.045 0.000 1.118 0.000 0.000 0.000 0.225

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B B F B F B F A

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

82 82 165 2521 0 369 0 217 -1 145

N.S.

1 1.00 2.01 30.74 0.00 4.50 0.00 2.65 -0.01 1.77

time (sec)

N/A 0.034 0.234 0.022 0.000 1.223 0.000 1.641 0.000 0.393

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F(-1) B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

149 149 176 5101 0 698 0 487 -1 154

N.S.

1 1.00 1.18 34.23 0.00 4.68 0.00 3.27 -0.01 1.03

time (sec)

N/A 0.094 0.566 0.025 0.000 1.199 0.000 3.746 0.000 1.167

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F(-1) B F F(-1)

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

208 208 227 7922 0 1220 0 958 -1 0

N.S.

1 1.00 1.09 38.09 0.00 5.87 0.00 4.61 -0.00 0.00

time (sec)

N/A 0.213 0.990 0.029 0.000 2.589 0.000 2.870 0.000 180.007

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A B A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

272 272 220 393 364 502 665 260 -1 259

N.S.

1 1.00 0.81 1.44 1.34 1.85 2.44 0.96 -0.00 0.95

time (sec)

N/A 0.218 5.129 0.016 1.496 1.355 52.753 0.662 0.000 0.406

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C A A A B A F A

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

196 196 157 249 227 344 440 175 -1 173

N.S.

1 1.00 0.80 1.27 1.16 1.76 2.24 0.89 -0.01 0.88

time (sec)

N/A 0.116 2.712 0.007 1.424 1.307 29.419 0.660 0.000 0.273

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A B A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

118 118 109 131 116 210 253 103 -1 102

N.S.

1 1.00 0.92 1.11 0.98 1.78 2.14 0.87 -0.01 0.86

time (sec)

N/A 0.040 0.204 0.004 1.372 0.933 14.712 0.613 0.000 0.165

Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

65 65 65 51 43 124 70 49 37 60

N.S.

1 1.00 1.00 0.78 0.66 1.91 1.08 0.75 0.57 0.92

time (sec)

N/A 0.016 0.090 0.001 1.336 0.703 2.915 0.612 4.709 0.001

Problem 57

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F A F F(-2) F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

113 113 110 1845 0 721 0 0 -1 148

N.S.

1 1.00 0.97 16.33 0.00 6.38 0.00 0.00 -0.01 1.31

time (sec)

N/A 0.108 0.200 0.016 0.000 1.445 0.000 0.000 0.000 0.325

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F A F B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

131 131 142 4621 0 907 0 317 -1 155

N.S.

1 1.00 1.08 35.27 0.00 6.92 0.00 2.42 -0.01 1.18

time (sec)

N/A 0.090 0.128 0.021 0.000 1.364 0.000 0.682 0.000 0.624

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F B F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

113 113 163 9059 0 526 0 451 -1 1323

N.S.

1 1.00 1.44 80.17 0.00 4.65 0.00 3.99 -0.01 11.71

time (sec)

N/A 0.057 0.693 0.025 0.000 1.205 0.000 3.723 0.000 3.188

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F(-1) B F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

199 199 247 13766 0 972 0 919 -1 1786

N.S.

1 1.00 1.24 69.18 0.00 4.88 0.00 4.62 -0.01 8.97

time (sec)

N/A 0.115 0.817 0.032 0.000 1.893 0.000 2.893 0.000 43.503

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F(-1) B F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

300 300 362 18791 0 1604 0 1557 -1 2592

N.S.

1 1.00 1.21 62.64 0.00 5.35 0.00 5.19 -0.00 8.64

time (sec)

N/A 0.365 1.385 0.046 0.000 5.358 0.000 9.597 0.000 43.482

Problem 62

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A B A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

349 349 270 476 447 608 796 321 -1 318

N.S.

1 1.00 0.77 1.36 1.28 1.74 2.28 0.92 -0.00 0.91

time (sec)

N/A 0.247 5.179 0.019 1.472 2.030 102.666 0.680 0.000 0.541

Problem 63

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C A A A B A F A

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

241 241 158 308 286 420 537 221 -1 214

N.S.

1 1.00 0.66 1.28 1.19 1.74 2.23 0.92 -0.00 0.89

time (sec)

N/A 0.148 2.802 0.010 1.388 1.794 58.630 0.656 0.000 0.384

Problem 64

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A B A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

149 149 130 166 151 260 316 135 -1 126

N.S.

1 1.00 0.87 1.11 1.01 1.74 2.12 0.91 -0.01 0.85

time (sec)

N/A 0.052 0.228 0.006 1.401 1.931 29.528 0.632 0.000 0.231

Problem 65

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

84 84 76 66 58 146 97 63 37 71

N.S.

1 1.00 0.90 0.79 0.69 1.74 1.15 0.75 0.44 0.85

time (sec)

N/A 0.023 0.112 0.003 1.328 1.714 4.282 0.608 4.693 0.001

Problem 66

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F A F F(-2) F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

157 157 140 3053 0 935 0 0 -1 199

N.S.

1 1.00 0.89 19.45 0.00 5.96 0.00 0.00 -0.01 1.27

time (sec)

N/A 0.199 0.122 0.019 0.000 3.399 0.000 0.000 0.000 0.455

Problem 67

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F A F B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

175 175 144 7345 0 1236 0 405 -1 210

N.S.

1 1.00 0.82 41.97 0.00 7.06 0.00 2.31 -0.01 1.20

time (sec)

N/A 0.226 0.164 0.023 0.000 2.680 0.000 0.689 0.000 0.807

Problem 68

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

194 194 184 14133 0 1517 0 659 -1 311

N.S.

1 1.00 0.95 72.85 0.00 7.82 0.00 3.40 -0.01 1.60

time (sec)

N/A 0.194 0.203 0.030 0.000 3.101 0.000 0.733 0.000 1.908

Problem 69

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F(-1) B F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

144 144 201 21220 0 706 0 846 -1 1180

N.S.

1 1.00 1.40 147.36 0.00 4.90 0.00 5.88 -0.01 8.19

time (sec)

N/A 0.073 0.807 0.040 0.000 1.513 0.000 2.858 0.000 20.707

Problem 70

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F(-1) B F F(-1)

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

249 249 306 28625 0 1258 0 1448 -1 0

N.S.

1 1.00 1.23 114.96 0.00 5.05 0.00 5.82 -0.00 0.00

time (sec)

N/A 0.137 1.094 0.053 0.000 2.682 0.000 9.315 0.000 180.008

Problem 71

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A F B B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

30 30 30 33 0 42 0 95 83 54

N.S.

1 1.00 1.00 1.10 0.00 1.40 0.00 3.17 2.77 1.80

time (sec)

N/A 0.014 0.029 0.023 0.000 0.850 0.000 0.608 0.394 0.099

Problem 72

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B B B B F B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

27 27 64 84 59 67 0 70 59 57

N.S.

1 1.00 2.37 3.11 2.19 2.48 0.00 2.59 2.19 2.11

time (sec)

N/A 0.014 0.026 0.012 2.978 0.639 0.000 0.620 0.167 0.114

Problem 73

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B B B F B B C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

25 25 25 187 110 74 0 118 85 55

N.S.

1 1.00 1.00 7.48 4.40 2.96 0.00 4.72 3.40 2.20

time (sec)

N/A 0.013 0.011 0.043 3.074 1.129 0.000 0.611 5.347 0.068

Problem 74

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

169 169 140 228 199 300 400 150 -1 148

N.S.

1 1.00 0.83 1.35 1.18 1.78 2.37 0.89 -0.01 0.88

time (sec)

N/A 0.145 5.095 0.014 1.360 1.180 13.273 0.639 0.000 0.174

Problem 75

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C A A A A A F A

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

108 108 160 131 109 192 238 90 -1 95

N.S.

1 1.00 1.48 1.21 1.01 1.78 2.20 0.83 -0.01 0.88

time (sec)

N/A 0.056 2.489 0.008 1.469 1.311 6.943 0.619 0.000 0.106

Problem 76

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

58 58 57 62 47 113 126 49 86 59

N.S.

1 1.00 0.98 1.07 0.81 1.95 2.17 0.84 1.48 1.02

time (sec)

N/A 0.017 0.021 0.006 1.329 0.674 2.780 0.599 5.515 0.058

Problem 77

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

25 25 25 21 13 59 17 23 20 28

N.S.

1 1.00 1.00 0.84 0.52 2.36 0.68 0.92 0.80 1.12

time (sec)

N/A 0.006 0.004 0.002 1.284 1.248 0.997 0.596 0.121 0.001

Problem 78

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F A F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

49 49 49 300 0 241 0 70 -1 112

N.S.

1 1.00 1.00 6.12 0.00 4.92 0.00 1.43 -0.02 2.29

time (sec)

N/A 0.022 0.017 0.015 0.000 1.452 0.000 0.603 0.000 0.128

Problem 79

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

101 101 126 809 0 463 0 242 -1 132

N.S.

1 1.00 1.25 8.01 0.00 4.58 0.00 2.40 -0.01 1.31

time (sec)

N/A 0.049 0.302 0.019 0.000 1.625 0.000 0.627 0.000 0.332

Problem 80

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F(-1) B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

163 163 192 1815 0 864 0 538 -1 180

N.S.

1 1.00 1.18 11.13 0.00 5.30 0.00 3.30 -0.01 1.10

time (sec)

N/A 0.119 0.668 0.021 0.000 1.969 0.000 3.505 0.000 0.912

Problem 81

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

257 257 172 340 311 584 0 235 -1 229

N.S.

1 1.00 0.67 1.32 1.21 2.27 0.00 0.91 -0.00 0.89

time (sec)

N/A 0.259 5.203 0.019 1.382 1.386 0.000 0.670 0.000 0.478

Problem 82

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

169 169 122 219 197 416 0 157 -1 156

N.S.

1 1.00 0.72 1.30 1.17 2.46 0.00 0.93 -0.01 0.92

time (sec)

N/A 0.197 5.100 0.008 1.397 0.888 0.000 0.644 0.000 0.281

Problem 83

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C A A A F A F A

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

90 105 160 123 108 276 0 92 -1 99

N.S.

1 1.17 1.78 1.37 1.20 3.07 0.00 1.02 -0.01 1.10

time (sec)

N/A 0.062 2.529 0.008 1.377 0.942 0.000 0.632 0.000 0.166

Problem 84

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

54 54 70 54 46 167 60 50 53 58

N.S.

1 1.00 1.30 1.00 0.85 3.09 1.11 0.93 0.98 1.07

time (sec)

N/A 0.017 0.061 0.005 1.302 0.889 5.168 0.643 5.117 0.089

Problem 85

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

16 16 16 15 14 23 17 14 14 16

N.S.

1 1.00 1.00 0.94 0.88 1.44 1.06 0.88 0.88 1.00

time (sec)

N/A 0.002 0.004 0.003 1.324 0.957 0.614 0.596 0.040 0.001

Problem 86

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C B F B F A F A

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

79 79 309 618 0 441 0 107 -1 143

N.S.

1 1.00 3.91 7.82 0.00 5.58 0.00 1.35 -0.01 1.81

time (sec)

N/A 0.039 0.720 0.017 0.000 1.221 0.000 0.619 0.000 0.241

Problem 87

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C B F B F B F A

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

143 143 758 1439 0 864 0 318 -1 173

N.S.

1 1.00 5.30 10.06 0.00 6.04 0.00 2.22 -0.01 1.21

time (sec)

N/A 0.109 2.673 0.022 0.000 2.223 0.000 1.902 0.000 0.698

Problem 88

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C B F B F(-1) B F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

225 225 1392 2919 0 1482 0 643 -1 6883

N.S.

1 1.00 6.19 12.97 0.00 6.59 0.00 2.86 -0.00 30.59

time (sec)

N/A 0.243 5.017 0.026 0.000 3.782 0.000 2.699 0.000 56.773

Problem 89

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

255 255 157 351 392 684 0 237 -1 237

N.S.

1 1.00 0.62 1.38 1.54 2.68 0.00 0.93 -0.00 0.93

time (sec)

N/A 0.245 5.168 0.017 1.442 1.308 0.000 0.679 0.000 0.411

Problem 90

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

172 172 125 228 254 486 0 158 -1 162

N.S.

1 1.00 0.73 1.33 1.48 2.83 0.00 0.92 -0.01 0.94

time (sec)

N/A 0.157 5.101 0.009 1.493 1.213 0.000 0.682 0.000 0.273

Problem 91

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C A A A F A F A

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

105 105 214 136 147 318 0 103 -1 107

N.S.

1 1.00 2.04 1.30 1.40 3.03 0.00 0.98 -0.01 1.02

time (sec)

N/A 0.050 4.146 0.007 1.389 1.126 0.000 0.632 0.000 0.212

Problem 92

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A B A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

47 47 37 34 68 54 144 40 33 37

N.S.

1 1.00 0.79 0.72 1.45 1.15 3.06 0.85 0.70 0.79

time (sec)

N/A 0.010 0.016 0.004 1.366 0.954 11.030 0.618 4.785 0.096

Problem 93

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A B A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

39 39 29 26 31 47 95 27 28 29

N.S.

1 1.00 0.74 0.67 0.79 1.21 2.44 0.69 0.72 0.74

time (sec)

N/A 0.006 0.006 0.000 1.332 0.580 0.821 0.609 4.754 0.001

Problem 94

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C B F B F B F A

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

122 122 775 1070 0 764 0 320 -1 180

N.S.

1 1.00 6.35 8.77 0.00 6.26 0.00 2.62 -0.01 1.48

time (sec)

N/A 0.103 2.750 0.020 0.000 1.741 0.000 0.639 0.000 0.415

Problem 95

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

202 202 170 2371 0 1440 0 620 -1 261

N.S.

1 1.00 0.84 11.74 0.00 7.13 0.00 3.07 -0.00 1.29

time (sec)

N/A 0.228 5.498 0.027 0.000 3.590 0.000 2.070 0.000 1.591

Problem 96

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F(-1) B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

313 313 221 4495 0 2250 0 1010 -1 516

N.S.

1 1.00 0.71 14.36 0.00 7.19 0.00 3.23 -0.00 1.65

time (sec)

N/A 0.400 5.662 0.029 0.000 12.491 0.000 3.760 0.000 3.662

Problem 97

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A B A F(-1) A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

224 224 163 190 465 229 0 218 326 193

N.S.

1 1.00 0.73 0.85 2.08 1.02 0.00 0.97 1.46 0.86

time (sec)

N/A 0.101 0.103 0.007 1.513 1.615 0.000 0.677 5.152 0.424

Problem 98

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

174 174 107 115 249 151 0 138 176 118

N.S.

1 1.00 0.61 0.66 1.43 0.87 0.00 0.79 1.01 0.68

time (sec)

N/A 0.071 0.068 0.008 1.500 0.968 0.000 0.641 4.987 0.230

Problem 99

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A B A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

91 91 59 57 103 87 566 72 87 60

N.S.

1 1.00 0.65 0.63 1.13 0.96 6.22 0.79 0.96 0.66

time (sec)

N/A 0.029 0.023 0.004 1.453 0.749 27.986 0.618 4.849 0.134

Problem 100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A B A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

39 39 29 26 31 47 95 27 28 29

N.S.

1 1.00 0.74 0.67 0.79 1.21 2.44 0.69 0.72 0.74

time (sec)

N/A 0.006 0.009 0.003 1.338 0.872 0.826 0.603 4.787 0.056

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C B F B F A F A

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

79 79 236 628 0 442 0 107 -1 133

N.S.

1 1.00 2.99 7.95 0.00 5.59 0.00 1.35 -0.01 1.68

time (sec)

N/A 0.046 2.716 0.042 0.000 1.407 0.000 0.617 0.000 0.260

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C B F B F B F A

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

100 100 405 823 0 459 0 225 -1 122

N.S.

1 1.00 4.05 8.23 0.00 4.59 0.00 2.25 -0.01 1.22

time (sec)

N/A 0.055 0.779 0.025 0.000 1.350 0.000 0.623 0.000 0.359

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

149 149 130 5177 0 698 0 487 -1 154

N.S.

1 1.00 0.87 34.74 0.00 4.68 0.00 3.27 -0.01 1.03

time (sec)

N/A 0.079 5.169 0.033 0.000 1.560 0.000 3.132 0.000 1.253

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F(-1) B F F(-1)

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

199 199 179 13964 0 972 0 919 -1 0

N.S.

1 1.00 0.90 70.17 0.00 4.88 0.00 4.62 -0.01 0.00

time (sec)

N/A 0.113 5.270 0.049 0.000 2.228 0.000 2.812 0.000 180.016

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

20 20 20 19 0 27 0 18 18 20

N.S.

1 1.00 1.00 0.95 0.00 1.35 0.00 0.90 0.90 1.00

time (sec)

N/A 0.005 0.008 0.003 0.000 0.868 0.000 0.604 4.771 0.076

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A F B B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

25 25 25 28 0 23 0 51 79 33

N.S.

1 1.00 1.00 1.12 0.00 0.92 0.00 2.04 3.16 1.32

time (sec)

N/A 0.008 0.006 0.006 0.000 0.627 0.000 0.604 0.368 0.079

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F A F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

49 49 49 306 0 241 0 70 -1 103

N.S.

1 1.00 1.00 6.24 0.00 4.92 0.00 1.43 -0.02 2.10

time (sec)

N/A 0.020 0.015 0.010 0.000 1.197 0.000 0.602 0.000 0.134

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B B A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

15 15 15 14 13 44 31 25 27 29

N.S.

1 1.00 1.00 0.93 0.87 2.93 2.07 1.67 1.80 1.93

time (sec)

N/A 0.004 0.013 0.006 2.782 1.211 4.681 0.574 0.039 0.048

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C F F F(-1) F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

204 204 162 0 0 0 0 0 -1 0

N.S.

1 1.00 0.79 0.00 0.00 0.00 0.00 0.00 -0.00 0.00

time (sec)

N/A 0.031 0.047 0.310 0.000 0.000 0.000 0.000 0.000 4.661

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

44 44 24 24 33 42 0 0 27 0

N.S.

1 1.00 0.55 0.55 0.75 0.95 0.00 0.00 0.61 0.00

time (sec)

N/A 0.017 5.027 0.005 1.890 1.375 0.000 0.000 4.785 21.556

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C F F F(-1) F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

252 252 163 0 0 0 0 0 -1 0

N.S.

1 1.00 0.65 0.00 0.00 0.00 0.00 0.00 -0.00 0.00

time (sec)

N/A 0.073 0.138 0.322 0.000 0.000 0.000 0.000 0.000 5.082

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C F F F(-1) F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

202 202 166 0 0 0 0 0 -1 0

N.S.

1 1.00 0.82 0.00 0.00 0.00 0.00 0.00 -0.00 0.00

time (sec)

N/A 0.029 0.156 0.319 0.000 0.000 0.000 0.000 0.000 4.598

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C F F F(-1) F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

204 204 153 0 0 0 0 0 -1 0

N.S.

1 1.00 0.75 0.00 0.00 0.00 0.00 0.00 -0.00 0.00

time (sec)

N/A 0.042 0.151 0.324 0.000 0.000 0.000 0.000 0.000 4.660

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C F F F(-1) F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

204 204 162 0 0 0 0 0 -1 0

N.S.

1 1.00 0.79 0.00 0.00 0.00 0.00 0.00 -0.00 0.00

time (sec)

N/A 0.029 0.042 0.000 0.000 0.000 0.000 0.000 0.000 0.001

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C F F F(-1) F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

204 204 156 0 0 0 0 0 -1 0

N.S.

1 1.00 0.76 0.00 0.00 0.00 0.00 0.00 -0.00 0.00

time (sec)

N/A 0.029 0.156 0.333 0.000 0.000 0.000 0.000 0.000 4.631

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C C F B F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

113 113 118 938 0 1943 0 0 -1 0

N.S.

1 1.00 1.04 8.30 0.00 17.19 0.00 0.00 -0.01 0.00

time (sec)

N/A 0.021 0.042 16.872 0.000 4.454 0.000 0.000 0.000 3.936

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C F(-1) F B F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

109 109 124 0 0 1685 0 0 -1 0

N.S.

1 1.00 1.14 0.00 0.00 15.46 0.00 0.00 -0.01 0.00

time (sec)

N/A 0.014 0.039 180.000 0.000 4.160 0.000 0.000 0.000 4.124

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C C F B F F F A

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

96 96 143 1033 0 285 0 0 -1 166

N.S.

1 1.00 1.49 10.76 0.00 2.97 0.00 0.00 -0.01 1.73

time (sec)

N/A 0.018 0.154 7.834 0.000 16.353 0.000 0.000 0.000 0.237

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C C F B F F F A

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

95 95 143 1553 0 315 0 0 -1 168

N.S.

1 1.00 1.51 16.35 0.00 3.32 0.00 0.00 -0.01 1.77

time (sec)

N/A 0.017 0.109 7.621 0.000 15.632 0.000 0.000 0.000 0.230

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C F F F(-1) F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

151 151 169 0 0 0 0 0 -1 0

N.S.

1 1.00 1.12 0.00 0.00 0.00 0.00 0.00 -0.01 0.00

time (sec)

N/A 0.027 0.174 0.322 0.000 0.000 0.000 0.000 0.000 5.419

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C F F F(-1) F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

153 153 167 0 0 0 0 0 -1 0

N.S.

1 1.00 1.09 0.00 0.00 0.00 0.00 0.00 -0.01 0.00

time (sec)

N/A 0.026 0.178 0.321 0.000 0.000 0.000 0.000 0.000 5.401

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C F F F(-1) F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

151 151 168 0 0 0 0 0 -1 0

N.S.

1 1.00 1.11 0.00 0.00 0.00 0.00 0.00 -0.01 0.00

time (sec)

N/A 0.028 0.146 0.314 0.000 0.000 0.000 0.000 0.000 5.434

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C F F F(-1) F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

153 153 172 0 0 0 0 0 -1 0

N.S.

1 1.00 1.12 0.00 0.00 0.00 0.00 0.00 -0.01 0.00

time (sec)

N/A 0.029 0.164 0.325 0.000 0.000 0.000 0.000 0.000 5.445

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C F F F(-1) F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

151 151 148 0 0 0 0 0 -1 0

N.S.

1 1.00 0.98 0.00 0.00 0.00 0.00 0.00 -0.01 0.00

time (sec)

N/A 0.034 0.150 0.317 0.000 0.000 0.000 0.000 0.000 5.080

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C F F F(-1) F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

147 147 148 0 0 0 0 0 -1 0

N.S.

1 1.00 1.01 0.00 0.00 0.00 0.00 0.00 -0.01 0.00

time (sec)

N/A 0.024 0.168 0.322 0.000 0.000 0.000 0.000 0.000 5.074

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C C F F(-1) F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

123 123 136 549 0 0 0 0 -1 0

N.S.

1 1.00 1.11 4.46 0.00 0.00 0.00 0.00 -0.01 0.00

time (sec)

N/A 0.020 0.120 58.096 0.000 0.000 0.000 0.000 0.000 4.564

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C C F F(-1) F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

123 123 136 1061 0 0 0 0 -1 0

N.S.

1 1.00 1.11 8.63 0.00 0.00 0.00 0.00 -0.01 0.00

time (sec)

N/A 0.017 0.125 59.072 0.000 0.000 0.000 0.000 0.000 4.619

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C C F F(-1) F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

119 119 136 1063 0 0 0 0 -1 0

N.S.

1 1.00 1.14 8.93 0.00 0.00 0.00 0.00 -0.01 0.00

time (sec)

N/A 0.017 0.104 58.821 0.000 0.000 0.000 0.000 0.000 4.583

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C C F F(-1) F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

119 119 136 725 0 0 0 0 -1 0

N.S.

1 1.00 1.14 6.09 0.00 0.00 0.00 0.00 -0.01 0.00

time (sec)

N/A 0.017 0.109 77.110 0.000 0.000 0.000 0.000 0.000 4.629

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C C F B F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

70 70 124 512 0 1395 0 0 -1 0

N.S.

1 1.00 1.77 7.31 0.00 19.93 0.00 0.00 -0.01 0.00

time (sec)

N/A 0.009 0.095 10.587 0.000 8.020 0.000 0.000 0.000 3.895

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C F F F(-1) F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

104 104 137 0 0 0 0 0 -1 0

N.S.

1 1.00 1.32 0.00 0.00 0.00 0.00 0.00 -0.01 0.00

time (sec)

N/A 0.016 0.111 0.316 0.000 0.000 0.000 0.000 0.000 4.405

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C C F B F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

74 74 125 539 0 269 0 0 -1 0

N.S.

1 1.00 1.69 7.28 0.00 3.64 0.00 0.00 -0.01 0.00

time (sec)

N/A 0.011 0.046 2.611 0.000 3.721 0.000 0.000 0.000 8.168

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F F F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

79 91 57 94 70 315 0 0 -1 79

N.S.

1 1.15 0.72 1.19 0.89 3.99 0.00 0.00 -0.01 1.00

time (sec)

N/A 0.019 0.027 0.026 1.493 2.248 0.000 0.000 0.000 0.112

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A F F F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

74 91 54 94 0 303 0 0 -1 79

N.S.

1 1.23 0.73 1.27 0.00 4.09 0.00 0.00 -0.01 1.07

time (sec)

N/A 0.018 0.019 0.022 0.000 1.605 0.000 0.000 0.000 0.084

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A F F F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

76 91 57 94 0 314 0 0 -1 79

N.S.

1 1.20 0.75 1.24 0.00 4.13 0.00 0.00 -0.01 1.04

time (sec)

N/A 0.017 0.029 0.022 0.000 1.765 0.000 0.000 0.000 0.101

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A C F B A A F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

20 20 15 38 0 38 17 17 -1 0

N.S.

1 1.00 0.75 1.90 0.00 1.90 0.85 0.85 -0.05 0.00

time (sec)

N/A 0.004 0.002 0.003 0.000 0.911 3.433 0.573 0.000 0.043

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B A F B A B F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

8 8 26 8 0 68 22 19 -1 0

N.S.

1 1.00 3.25 1.00 0.00 8.50 2.75 2.38 -0.12 0.00

time (sec)

N/A 0.002 0.005 0.317 0.000 1.298 2.321 0.575 0.000 0.001

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F B A B F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

8 8 8 8 0 34 8 26 -1 0

N.S.

1 1.00 1.00 1.00 0.00 4.25 1.00 3.25 -0.12 0.00

time (sec)

N/A 0.002 0.003 0.307 0.000 1.293 2.494 0.572 0.000 0.001

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

29 29 40 24 0 34 0 0 -1 0

N.S.

1 1.00 1.38 0.83 0.00 1.17 0.00 0.00 -0.03 0.00

time (sec)

N/A 0.003 0.011 0.010 0.000 1.168 0.000 0.000 0.000 0.063

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F B F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

28 28 26 24 0 104 0 0 -1 0

N.S.

1 1.00 0.93 0.86 0.00 3.71 0.00 0.00 -0.04 0.00

time (sec)

N/A 0.004 0.011 0.010 0.000 1.153 0.000 0.000 0.000 0.059

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C C F B F F F A

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

129 129 135 186 0 553 0 0 -1 137

N.S.

1 1.00 1.05 1.44 0.00 4.29 0.00 0.00 -0.01 1.06

time (sec)

N/A 0.019 0.113 1.667 0.000 9.143 0.000 0.000 0.000 0.334

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C C F B F F F A

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

120 120 135 187 0 553 0 0 -1 137

N.S.

1 1.00 1.12 1.56 0.00 4.61 0.00 0.00 -0.01 1.14

time (sec)

N/A 0.016 0.128 1.596 0.000 9.051 0.000 0.000 0.000 0.321

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C F F B F F F A

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

129 129 144 0 0 755 0 0 -1 137

N.S.

1 1.00 1.12 0.00 0.00 5.85 0.00 0.00 -0.01 1.06

time (sec)

N/A 0.023 0.138 0.331 0.000 28.018 0.000 0.000 0.000 0.274

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C F F B F F F A

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

124 124 145 0 0 776 0 0 -1 141

N.S.

1 1.00 1.17 0.00 0.00 6.26 0.00 0.00 -0.01 1.14

time (sec)

N/A 0.020 0.133 0.335 0.000 27.759 0.000 0.000 0.000 0.275

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C F F B F F F A

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

120 120 155 0 0 286 0 0 -1 136

N.S.

1 1.00 1.29 0.00 0.00 2.38 0.00 0.00 -0.01 1.13

time (sec)

N/A 0.020 0.145 0.344 0.000 24.630 0.000 0.000 0.000 0.253

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C F F B F F F A

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

120 120 155 0 0 286 0 0 -1 136

N.S.

1 1.00 1.29 0.00 0.00 2.38 0.00 0.00 -0.01 1.13

time (sec)

N/A 0.017 0.162 0.340 0.000 23.722 0.000 0.000 0.000 0.252

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C F F B F F F A

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

120 120 165 0 0 337 0 0 -1 136

N.S.

1 1.00 1.38 0.00 0.00 2.81 0.00 0.00 -0.01 1.13

time (sec)

N/A 0.021 0.155 0.334 0.000 137.832 0.000 0.000 0.000 0.261

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C F F B F F F A

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

124 124 162 0 0 343 0 0 -1 140

N.S.

1 1.00 1.31 0.00 0.00 2.77 0.00 0.00 -0.01 1.13

time (sec)

N/A 0.021 0.164 0.336 0.000 129.691 0.000 0.000 0.000 0.264

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C C F B F F F A

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

61 61 127 138 0 104 0 0 -1 63

N.S.

1 1.00 2.08 2.26 0.00 1.70 0.00 0.00 -0.02 1.03

time (sec)

N/A 0.009 0.148 1.139 0.000 9.421 0.000 0.000 0.000 0.124

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C C F C F F F A

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

61 61 127 138 0 243 0 0 -1 72

N.S.

1 1.00 2.08 2.26 0.00 3.98 0.00 0.00 -0.02 1.18

time (sec)

N/A 0.010 0.129 1.112 0.000 9.293 0.000 0.000 0.000 0.121

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C F F B F F F A

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

77 77 132 0 0 274 0 0 -1 79

N.S.

1 1.00 1.71 0.00 0.00 3.56 0.00 0.00 -0.01 1.03

time (sec)

N/A 0.013 0.166 0.335 0.000 29.664 0.000 0.000 0.000 0.134

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C F F B F F F A

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

79 79 137 0 0 273 0 0 -1 90

N.S.

1 1.00 1.73 0.00 0.00 3.46 0.00 0.00 -0.01 1.14

time (sec)

N/A 0.014 0.148 0.334 0.000 29.244 0.000 0.000 0.000 0.145

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C F F B F F F A

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

85 85 157 0 0 276 0 0 -1 89

N.S.

1 1.00 1.85 0.00 0.00 3.25 0.00 0.00 -0.01 1.05

time (sec)

N/A 0.018 0.171 0.351 0.000 20.455 0.000 0.000 0.000 0.160

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C F F B F F F A

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

85 85 157 0 0 278 0 0 -1 89

N.S.

1 1.00 1.85 0.00 0.00 3.27 0.00 0.00 -0.01 1.05

time (sec)

N/A 0.014 0.148 0.363 0.000 20.762 0.000 0.000 0.000 0.156

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C F F B F F F A

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

101 101 163 0 0 338 0 0 -1 105

N.S.

1 1.00 1.61 0.00 0.00 3.35 0.00 0.00 -0.01 1.04

time (sec)

N/A 0.019 0.164 0.342 0.000 111.056 0.000 0.000 0.000 0.173

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C F F B F F F A

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

103 103 168 0 0 350 0 0 -1 107

N.S.

1 1.00 1.63 0.00 0.00 3.40 0.00 0.00 -0.01 1.04

time (sec)

N/A 0.021 0.163 0.337 0.000 110.161 0.000 0.000 0.000 0.172

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C C F B F F F A

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

53 53 115 121 0 91 0 0 -1 55

N.S.

1 1.00 2.17 2.28 0.00 1.72 0.00 0.00 -0.02 1.04

time (sec)

N/A 0.008 0.141 1.220 0.000 8.366 0.000 0.000 0.000 0.101

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A F(-1) F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

53 53 52 71 0 91 0 0 131 0

N.S.

1 1.00 0.98 1.34 0.00 1.72 0.00 0.00 2.47 0.00

time (sec)

N/A 0.020 0.032 0.005 0.000 0.997 0.000 0.000 5.736 0.541

[next] [prev] [prev-tail] [front] [up]